Short proofs may be spacious - understanding space in resolution
- Författare
- Jakob Nordström
- (Jakob Nordström., Diss. Stockholm : Kungliga Tekniska högskolan, 2008, Med sammanfattning på svenska)
- Genre
- Avhandlingar, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Theoretical Computer Science, Teoretisk datalogi, Kungliga Tekniska högskolan | 2008 | Sverige, Stockholm | xiv, 255 sidor. | 978-91-7178-936-5 |